Refinement by interpretation in {\pi}-institutions

The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.Comment: In Proceedings Refine 2011, arXiv:1106.348

Soundserver: data sonification on-demand for computational

The rapid accumulation of large collections of data has created the need for efficient and intelligent schemes for knowledge extraction and results analysis. The resulting information is typically visualized, but it may also be presented through audio techniques such as sonification. Sonification techniques become especially interesting when the client application runs on graphically limited devices such as mobile phones or PDAs (Personal Digital Assistants). In this paper we present an architecture for a sonification server that will be used in the Sound Data Mining project. In this project sound will be used to increase perception and present information extracted by spatial data mining techniques. The server is based on an audio synthesis engine and will relieve clients with little audio synthesis capabilities from the burden of sound processing. By providing sonification modules, this server can potentially be used on a variety of applications where sonification techniques are require

The structural molecular biology network of the State of São Paulo, Brazil

This article describes the achievements of the Structural Molecular Biology Network (SMolBNet), a collaborative program of structural molecular biology, centered in the State of São Paulo, Brazil, and supported by São Paulo State Funding Agency (FAPESP). It gathers twenty scientific groups and is coordinated by the scientific staff of the Center of Structural Molecular Biology, at the National Laboratory of Synchrotron Light (LNLS), in Campinas. The SMolBNet program has been aimed at 1) solving the structure of proteins of interest related to the research projects of the groups. In some cases, the choice has been to select proteins of unknown function or of possible novel structure obtained from the sequenced genomes of the FAPESP genomic program; 2) providing the groups with training in all the steps of the protein structure determination: gene cloning, protein expression, protein purification, protein crystallization and structure determination. Having begun in 2001, the program has been successful in both aims. Here, four groups reveal their participation in the program and describe the structural aspects of the proteins they have selected to study.Esse artigo descreve realizações do Programa SMolBNet (Rede de Biologia Molecular Estrutural) do Estado de São Paulo, apoiado pela FAPESP (Fundação de Apoio à Pesquisa do Estado de São Paulo). Ele reúne vinte grupos de pesquisa e é coordenado pelos pesquisadores do Laboratório Nacional de Luz Síncrotron (LNLS), em Campinas. O Programa SMolBNet tem como metas: Elucidar a estrutura tridimensional de proteínas de interesse aos grupos de pesquisa componentes do Programa; Prover os grupos com treinamento em todas as etapas de determinação de estrutura: clonagem gênica, expressão de proteínas, purificação de proteínas, cristalização de proteínas e elucidação de suas estruturas. Tendo começado em 2001, o Programa alcançou sucesso em ambas as metas. Neste artigo, quatro dos grupos descrevem suas participações, e discutem aspectos estruturais das proteínas que eles selecionaram para estudos.Centro de Biologia Molecular Estrutural Laboratório Nacional de Luz SíncrotronUniversidade de São Paulo Instituto de Biociências Departamento de Genética e Processos EvolutivosUniversidade de São Paulo Instituto de Química Departamento de BioquímicaUniversidade Federal de São Paulo (UNIFESP) Escola Paulista de MedicinaCentro Latino-Americano e do Caribe de Informação em Ciências da Saúde BIREMEUNIFESP, EPMSciEL

Fibrin adhesive derived from snake venom in periodontal surgery: histologicalanalysis

BACKGROUND: A new fibrin adhesive made of buffalo plasma-derived fibrinogen and a thrombin-like snake venom enzyme, has been successfully used to immobilize free gingival grafts. This case series histologically compared sutured grafts (control group) with others immobilized by using the fibrin adhesive (experimental group). CASE DESCRIPTION: The grafts were placed in the contralateral mandibular bicuspids of 15 patients, so that each subject received one treatment of each type. Five biopsies of each group were collected at 7, 14 and 45 days of healing, which were histologically and morphometrically analyzed as regards the relative volume density of the different connective tissue components. RESULTS: The sites in the control group presented a higher inflammatory cell density at 7 days and a tendency towards a lower collagen density. In the experimental group, the grafts had an appearance of more advanced healing. Tissue maturity characteristics progressed until 14 and 45 days, but no difference between groups could be noted at these times. Conclusions: Within the limits of the present study, it may be suggested that the alternative fibrin adhesive tested could represent an alternative to sutures in gingival grafts procedures.(FAPESP) São Paulo Research Foundatio

Bringing class diagrams to life

Research in formal methods emphasizes a funda- mental interconnection between modeling, calculation and prototyping, made possible by a common unambiguous, mathematical semantics. This paper, building on a broader research agenda on coalgebraic semantics for Unified Modeling Language diagrams, concentrates on class diagrams and discusses how such a coalgebraic perspective can be of use not only for formalizing their specification, but also as a basis for prototyping.This research was partially supported by a grant from the GLANCE funding program of NWO, through project CooPer (600.643.000.05N12), aswell as by Fct (the Portuguese Foundation for Science and Technology) under contract PTDC/EIA/73252/2006

A perspective on service orchestration

Service-oriented computing is an emerging paradigm with increasing impact on the way modern software systems are designed and developed. Services are autonomous, loosely coupled and heterogeneous computational entities able to cooperate to achieve common goals. This paper introduces a model for service orchestration, which combines a exogenous coordination model, with services’ interfaces annotated with behavioural patterns specified in a process algebra which is parametric on the interaction discipline. The coordination model is a variant of Reo for which a new semantic model is proposed

On the nature of the (de)coupling of the magnetostructural transition in Er5_5Si4_4

In this report, a successful thermodynamical model was employed to understand the structural transition in Er$_5$Si$_4$, able to explain the decoupling of the magnetic and structural transition. This was achieved by the DFT calculations which were used to determine the energy differences at 0 K, using a LSDA+U approximation. It was found that the M structure as the stable phase at low temperatures as verified experimentally with a $\Delta F_0 = -$0.262 eV. Finally, it was achieved a variation of Seebeck coefficient ($\sim$ 6 $\mu$V) at the structural transition which allow to conclude that the electronic entropy variation is negligible in the transition.Comment: 17 pages, 3 figures, 1 tabl

Ecotoxicity of raw and treated effluents generated by a veterinary medicine industry

Effluents from veterinary pharmaceutical industries that formulate medicines are mainly generated during the washing of equipment. The aim of this work was to evaluate the acute toxicity to Daphnia similis and chronic toxicity to Ceriodaphnia dubia of raw and treated effluents generated by a veterinary pharmaceutical industry. The industrial effluent treatment system comprises a step of chemical treatment (coagulation-sedimentation forced) followed by aerobic biological treatment (activated sludge process). Five samplings campaigns were performed from October 2011 to July 2012. The raw effluent samples showed high acute and chronic toxicity (acute: fourth sampling with EC50 - 48-h of <0.001% and chronic: third sampling with IC50 - 7-d of <0.0001%). The chemically treated effluent samples were the most toxic with EC50 - 48-h between <0.001 and 0.1% and IC50 - 7-d between 0.00001 and 0.0001%. This increase in toxicity is probably related to the use of aluminum sulfate as flocculating agent. The biological treatment led to a small reduction in toxicity of the effluents. The selected ecotoxicological tests were adequate for detecting the effluent toxicity and useful for evaluating the efficiency of the steps of the effluent treatment. Improvements in the industrial wastewater treatment system should be implemented in order to reduce the observed toxicity of the final effluent.Efluentes de indústrias farmacêuticas veterinárias, que formulam medicamentos, são gerados principalmente durante a lavagem dos equipamentos. O objetivo desse trabalho foi avaliar a toxicidade aguda para Daphnia similis e crônica para Ceriodaphnia dubia, dos efluentes brutos e tratados gerados por uma indústria farmacêutica veterinária. O sistema de tratamento de efluentes usado é composto por uma etapa de tratamento químico (coagulação-sedimentação forçada) seguida do tratamento biológico aeróbio (processo de lodos ativados). Foram realizadas 5 campanhas de amostragens entre outubro de 2011 e julho de 2012. As amostras de efluentes brutos apresentaram elevada toxicidade aguda e crônica (aguda: quarta campanha com CE50 - 48-h de <0,001% e crônica: terceira campanha com CI50 - 7d <0,0001%). As amostras de efluentes tratados quimicamente foram as mais tóxicas com CE50 - 48-h entre <0,001 e 0,1% e CI50 - 7-d entre 0,00001 e 0,0001%, provavelmente relacionada ao uso de sulfato de alumínio como agente floculante. O tratamento biológico levou a uma pequena diminuição da toxicidade dos efluentes. Os testes ecotoxicológicos foram adequados para detectar a toxicidade dos efluentes e úteis para avaliar a eficiência das etapas do tratamento. Melhorias no sistema de tratamento de efluentes da indústria estudada deveriam ser implementadas visando à redução da toxicidade observada nos efluentes finais.Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Fundação de Amparo à Pesquisa do Estado de Minas Gerais (FAPEMIG)Universidade Federal de Alfenas Instituto de Ciências da NaturezaUniversidade Estadual de Campinas Laboratório de Ecotoxicologia Aquática e Limnologia Prof. Dr. Abílio LopesUniversidade Federal de São Paulo (UNIFESP) Instituto de Ciências Ambientais, Químicas e FarmacêuticasUNIFESP, Instituto de Ciências Ambientais, Químicas e FarmacêuticasSciEL